541. Time Series and Econometric Modelling :
پدیدآورنده : edited by Ian B. MacNeill, Gary J. Umphrey, Richard A. L. Carter, A. Ian McLeod, Aman Ullah.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Applied mathematics.,Engineering mathematics.,Mathematics.
542. Topics in Philosophical Logic
پدیدآورنده : by Nicholas Rescher.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Logic.,Philosophy (General)
543. Topics in the Formal Methodology of Empirical Sciences
پدیدآورنده : by Ryszard Wójcicki.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Logic.,Philosophy (General),Science -- Philosophy.
544. Twenty-Five Years of Logical Methodology in Poland
پدیدآورنده : edited by Marian Przełęcki, Ryszard Wójcicki.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Philosophy (General),Science -- Philosophy.
رده :
BC57
.
E358
1977
545. Type logical grammar :
پدیدآورنده : by Glyn V. Morrill.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Categorial grammar.,Semantics (Philosophy),Type theory.
رده :
P161
.
B945
1994
546. Understanding political science statistics :
پدیدآورنده : Peter Galderisi
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Political science-- Methodology,Political statistics
رده :
JA71
.
7
.
G35
2015
547. Useful procedures of inquiry
پدیدآورنده : Handy, Rollo
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Knowledge, Theory of,، Science-- Methodology,، Dewey, John, 9581-2591. Logic, the theory of inquiry
رده :
BD
161
.
H27
548. Useful procedures of inquiry
پدیدآورنده : by Rollo Handy and E. C. Harwood. Including Knowing and the known ]by[ John Dewey and Arthur F. Bentley, and Introduction to John Dewey's philosophy ]by[ Joseph Ratner,Title
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع : Knowledge, Theory of,Science- Methodology,Dewey, John,- 1859-1952.- Logic, the theory of inquiry
رده :
BD
.
H27
161
549. Using Resilient Systems Inference for Estimating Hospital Acquired Infection Prevention Infrastructure Performance
پدیدآورنده : Platt, Lisa Sundahl
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Health care management,Logic,Systems science
550. Using Resilient Systems Inference for Estimating Hospital Acquired Infection Prevention Infrastructure Performance
پدیدآورنده : Platt, Lisa Sundahl
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Health care management,Logic,Systems science
551. VLSI:
پدیدآورنده : edited by Ricardo Reis, Luc Claesen.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Information storage and retrieval systems.
رده :
TK7874
.
75
E358
1997
552. Verification techniques for system-level design /
پدیدآورنده : Masahiro Fujita, Indradeep Ghosh, and Mukul Prasad.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Formal methods (Computer science),Integrated circuits-- Verification.,Systems on a chip-- Testing.,Formal methods (Computer science),Formal methods (Computer science),Integrated circuits-- Verification.,Integrated circuits-- Verification.,Systems on a chip-- Testing.,TECHNOLOGY & ENGINEERING-- Electronics-- Circuits-- General.,TECHNOLOGY & ENGINEERING-- Electronics-- Circuits-- Integrated.
رده :
TK7895
.
E42
F95
2008eb
553. What I Do Not Believe, and Other Essays
پدیدآورنده : by Norwood Russell Hanson ; edited by Stephen Toulmin, Harry Woolf.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Philosophy (General),Science -- Philosophy.
رده :
B29
.
B966
1971
554. What if there were no significance tests? /
پدیدآورنده : edited by Lisa L. Harlow, Stanley A. Mulaik, James H. Steiger
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Statistical hypothesis testing
555. Witches, Scientists, Philosophers:
پدیدآورنده : edited by Graham Solomon.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Humanities.,Philosophy (General),Philosophy, Modern.
556. Zygmunt Zawirski His Life and Work:
پدیدآورنده : Szumilewicz-lachman, I.; Lachman, Feliks; Cohen, Robert S.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع :
رده :
Q174
.
S986
2013
557. Zygmunt Zawirski His Life and Work:
پدیدآورنده : Szumilewicz-lachman, I.; Lachman, Feliks; Cohen, Robert S.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع :
559. Über Beweise und Beweisarten bei Wilhelm Ockham /
پدیدآورنده : Heinz-Helmut Möllmann, Ruhr-Universität Bochum.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : William,approximately 1285-approximately 1349-- Criticism and interpretation.,William,approximately 1285-approximately 1349-- Literary style.,Knowledge, Theory of.,Logic.,Science-- Methodology.
